Implementation and validation methods applied to SSCOP

This paper outlines the methods used to realise the implementation of the Service Speciic Connection Oriented Protocol (SS-COP) which forms a main component in the Signalling ATM Adaptation Layer (SAAL). We give a short introduction to Synchronous C++, a concurrent extension to C++, followed by a protocol programming method based on these extensions. We show how this environment is made complete, by introducing the way in which random walk simulations can be performed upon the implementation code, therefore avoiding translation from model to implementation. The speciic example of SSCOP and its environment is then described including proposals to simplify and streamline the appropriate protocol speciications. This more speciically addresses the interactions between SSCF and SSCOP and the integration of these two layers. The general programming method applied to this shows its suitability for implementingthese ideas. A randomwalk analysis peformed upon the resulting code then gives indications of the correctness of the implementation.